Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
181	371 Documenta Math. Hyperbolicity of Orthogonal Involutions K dn roжdeni Andre Aleksandroviqa Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-06-21 15:52:33 Algebraic geometry Homological algebra Motive Splitting field Expected value Spectral theory Ordinary differential equations Lambda calculus
182	1 Almost Affine Lambda Terms Makoto Kanazawa National Institute of Informatics, Tokyo, Japan Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-08-19 13:21:10 Proof theory Algebraic geometry Computability theory Lambda calculus Theoretical computer science Sequent Valuation CurryHoward correspondence Quantum group
183	371 Documenta Math. Hyperbolicity of Orthogonal Involutions K dn roжdeni Andre Aleksandroviqa Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-06-21 15:52:33 Algebraic geometry Homological algebra Motive Splitting field Expected value Spectral theory Ordinary differential equations Lambda calculus
184	Don’t be greedy when calculating hypervolume contributions Karl Bringmann Tobias Friedrich Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:45:00 Spectral theory Lebesgue measure Support Weight -ring Lambda calculus
185	Type Specialisation for the -calculus John Hughes Department of Computer Science, Chalmers Technical University, SGoteborg, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Type theory Procedural programming languages Data types Type systems Lambda calculus Eval Type inference ALGOL 68 Let expression Standard ML
186	Linear Forwarders∗ Philippa Gardner Cosimo Laneve Lucian Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2003-07-07 12:00:28 Theoretical computer science Functions and mappings Process calculi -calculus Substitution Lambda calculus Limit of a function
187	Interactive Learning and Mathematical Calculus? Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, and Mark Spanbroek Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB Eindhoven, The Netherlands Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2005-12-08 03:07:51 Functions and mappings Differential calculus Mathematical analysis Theoretical computer science OpenMath Calculus Derivative Integral Function Lambda calculus Chain rule Exercise
188	Truly Modular (Co)datatypes for Isabelle/HOL Jasmin Christian Blanchette1 , Johannes Hölzl1 , Andreas Lochbihler2 , Lorenz Panny1 , Andrei Popescu1,3 , and Dmitriy Traytel1 1 3 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Ordinal numbers Type theory Computability theory Recursion Constructible universe Lambda calculus Standard ML Recursive data type Fold CurryHoward correspondence
189	COLORING THE RATIONALS IN REVERSE MATHEMATICS EMANUELE FRITTAION AND LUDOVIC PATEY Abstract. Ramsey’s theorem for pairs asserts that every 2-coloring of the pairs of integers has an infinite monochromatic subset. In th Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2016-02-20 21:08:40 Logic in computer science Differential forms Combinatory logic Lambda calculus Peano axioms Closed and exact differential forms Banach fixed-point theorem Peetre theorem
190	MATH 669: COMBINATORICS, GEOMETRY AND COMPLEXITY OF INTEGER POINTS Alexander Barvinok Abstract. These are rather condensed notes, not really proofread or edited, presenting key definitions and results of the course that Add to Reading List Source URL: www.math.lsa.umich.edu Language: English - Date: 2011-05-27 13:17:33 Leech lattice Moonshine theory Lattice Spectral theory of ordinary differential equations Lambda calculus

UPDATE